Comparative Studies of Constraint
نویسندگان
چکیده
Maximum satissability (MAX-SAT) is an extension of satissability (SAT), in which a partial solution is sought that satisses the maximum number of clauses in a logical formula. Enumerative methods giving guaranteed optimal solutions can be derived from traditional search algorithms used to solve SAT problems, in particular the Davis-Putnam procedure. Algorithms have also been developed for the maximal constraint satisfaction problem (MAX-CSP), a generalization of MAX-SAT, that are extensions of search algorithms used to solve constraint satisfaction problems. In the present work, these algorithms were compared over the same sets of problems, using comparable implementations. In addition, variants of each algorithm were tested to determine the contribution of component strategies that often make up a working algorithm. The componential analysis was done using traditional multi-factor experimental designs in which the eeect of diierent strategies could be studied at the same time that problem parameters were varied. Most of this work was done with MAX-2SAT problems, although Davis-Putnam variants were also tested with MAX-3SAT. The performance of Davis-Putnam on MAX-SAT problems depended heavily on the combination of strategies used, and the superiority of a particular combination also depended on problem characteristics. In particular , the clause:variable ratio was shown to be an important determinant of relative performance. The best MAX-CSP algorithms were competitive with Davis-Putnam in this domain, but relative performance depended, again, on problem parameters.
منابع مشابه
روشهای نوین توانبخشی اندام فوقانی در کودکان دچار فلج مغزی نیمه بدن: مروری بر مطالعات گذشته
Objective Cerebral palsy is an example of a physical disorder that causes multiple impairments that affect function and physical performance. Hemiplegia is a physical impairment that can occur in childhood. One of the most disabling symptoms of hemiplegia is unilaterally impaired hand and arm function. Treatment options include physical therapy, occupational therapy, conductive education, neuro...
متن کاملComparative Performance Study of Tuned Liquid Column Ball Damper for Excessive Liquid Displacement on Response Reduction of Structure
The tuned liquid column damper (TLCD) having a uniform cross-sectional tube of U-shaped, occupied with liquid is used as a vibrational response mitigation device. The tuned liquid column ball damper (TLCBD) is a modified TLCD, where, an immovable orifice, positioned at the middle part of the horizontal portion, is replaced by a metal ball. Different studies on the unconstrained optimization per...
متن کاملOptimal Coding Subgraph Selection under Survivability Constraint
Nowadays communication networks have become an essential and inevitable part of human life. Hence, there is an ever-increasing need for expanding bandwidth, decreasing delay and data transfer costs. These needs necessitate the efficient use of network facilities. Network coding is a new paradigm that allows the intermediate nodes in a network to create new packets by combining the packets recei...
متن کاملThe Impacts of Monetary Policy on Macroeconomic Variables Assuming the Collateral Constraint
This study aimed to examine the effects of monetary policy on macroeconomic variables with regard to the collateral constraint. For this purpose, a dynamic stochastic general equilibrium (DSGE) was developed for Iran’s economic status. Two scenarios were considered as to account for the behavior of the central bank. In the first scenario, the monetary rule is modeled according to the GDP gap an...
متن کاملProvide a Model for Shaping the Subject in Comparative Studies and Research in the Field of Art With Emphasis on Interdisciplinary Studies
Consideration of comparative research as a "separate and different research process" is an issue that has not been addressed thoroughly, at least in Iran, and few of the research conducted under the title of "comparative" refer to studies conducted using different methods than the usual research methods. On the other hand, there has been a rise in the importance of interaction between different...
متن کامل